Gene regulatory network inference by point-based Gaussian approximation filters incorporating the prior information

Examinar a ampliação do uso de TICs por organizações sociais e governamentais na gestão da cidade é o objetivo do presente estudo. Nossa intenção é entender de que forma as tecnologias da informação e comunicação podem ser uma via alternativa que redefine as relações entre Estado e sociedade, substituindo políticas urbanas tradicionais por formas colaborativas de interação dos atores sociais. Entre os resultados alcançados pela pesquisa, é possível destacar a elaboração de uma metodologia capaz de mapear os princípios de organização, articulação, conexão e interação que constituem a existência de redes tecnossociais. A aplicação da metodologia nas cidades do Rio de Janeiro e de São Paulo demonstrou indicadores, gráficos e práticas políticas. A análise desses dados revela como as redes se constituem por uma arquitetura móvel, fluída, flexível, organizadas em torno de políticas comuns de ação e formadas por uma identidade coletiva que aproxima os atores das redes tecnossociais. Os princípios que mediam esta coesão são de compartilhamento, confiança e solidariedade, que redefinem as formas da organização do poder em direção a alternativas de organização política e desenvolvimento social

Continuous R-valuations

We introduce continuous $R$-valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continuous valuations from reals to so-called Abelian d-rags $R$. Like the valuation monad $\mathbf{V}$ introduced by Jones and Plotkin, we show that the construction of continuous $R$-valuations extends to a strong monad $\mathbf{V}^R$ on the category of dcpos and Scott-continuous maps. Additionally, and as in recent work by the two authors and C. Th\'eron, and by the second author, B. Lindenhovius, M. Mislove and V. Zamdzhiev, we show that we can extract a commutative monad $\mathbf{V}^R_m$ out of it, whose elements we call minimal $R$-valuations. We also show that continuous $R$-valuations have close connections to measures when $R$ is taken to be $\mathbf{I}\mathbb{R}^\star_+$, the interval domain of the extended nonnegative reals: (1) On every coherent topological space, every non-zero, bounded $\tau$-smooth measure $\mu$ (defined on the Borel $\sigma$-algebra), canonically determines a continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation; and (2) such a continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation is the most precise (in a certain sense) continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation that approximates $\mu$, when the support of $\mu$ is a compact Hausdorff subspace of a second-countable stably compact topological space. This in particular applies to Lebesgue measure on the unit interval. As a result, the Lebesgue measure can be identified as a continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation. Additionally, we show that the latter is minimal

A cone-theoretic barycenter existence theorem

We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone $\mathfrak{C}$ has a barycenter. This barycenter is unique, and the barycenter map $\beta$ is continuous, hence is the structure map of a $\mathbf V_{\mathrm w}$-algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of $T_0$ topological spaces; it is, in fact, the unique $\mathbf V_{\mathrm w}$-algebra that induces the cone structure on $\mathfrak{C}$